|
Stochastic Petri nets are a form of Petri net where the transitions fire after a probabilistic delay determined by a random variable. ==Definition== A ''stochastic Petri net'' is a five-tuple ''SPN'' = (''P'', ''T'', ''F'', ''M''0, ''Λ'') where: # ''P'' is a set of states, called ''places''. # ''T'' is a set of ''transitions''. # ''F'' where ''F'' ⊂ (''P'' × ''T'') ∪ (''T'' × ''P'') is a set of flow relations called "arcs" between places and transitions (and between transitions and places). # ''M''0 is the ''initial marking''. # ''Λ = '' is the array of ''firing rates λ'' associated with the transitions. The firing rate, a random variable, can also be a function λ(''M'') of the current marking. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Stochastic Petri net」の詳細全文を読む スポンサード リンク
|